🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Cactus Language • Stylistics 4
inquiryintoinquiry.com·22h
🌳Context free grammars
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·20h
🎯Gradual Typing
Historical highlights?
logicmatters.net·1d
🔀Category Theory
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·10h
🌳Context free grammars
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·2d
🏗️Constructive Mathematics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
A Rust Shaped Hole
mnvr.in·1d·
Discuss: Hacker News
🦀Rust Macros
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
How a 12% Tax Rule Becomes Code: Grammar, Law, and Machine Execution
dev.to·1h·
Discuss: DEV
📝Concrete Syntax
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
The Best C++ Library
mcyoung.xyz·2d·
Discuss: Lobsters, Hacker News, r/cpp
🦀Rust Borrowing
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Inheritance over composition, sometimes
death.andgravity.com·1d
🦀Rust Macros
CVE-2025-4919: Corruption via Math Space in Mozilla Firefox
thezdi.com·23h
🦀Rust Verification
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·16h·
Discuss: Hacker News
🎯Interactive Provers
Reflecting on PLDI 2025
people.csail.mit.edu·2d·
Discuss: Hacker News
🌐Protocol Synthesis
7 Frontend Design Patterns You Should Know (with Examples)
blog.devops.dev·22h
🧩WASM Components
Cancellative Convex Semilattices
arxiv.org·10h
🔲Proof Irrelevance